Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, (...) A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)

While the idea of philosophy as conceptual analysis has attracted many adherents and undergone a number of variations, in general it suffers from an authority problem with two dimensions. First, it is unclear why the analysis of a concept should have objective authority: why explicating what we mean should express how things are. Second, conceptual analysis seems to lack intersubjective authority: why philosophical analysis should apply to more than a parochial group of individuals. I argue that Hegel’s conception of social (...) ontology, focused on his concept of “ethical life” (Sittlichkeit), helps to explain how concepts (and their explication) have both objective and intersubjective authority in the social domain. Hegel claims that modern institutions are the product of self-conscious purposes, so that they are conceptually constituted. Concepts do not just represent these objects and so depend on a contingent relation to them. As many contemporary social ontologists agree, this means that our concepts of these institutions are uniquely epistemically “transparent.” They have objective authority. Concepts have intersubjective authority in the modern world as well, according to Hegel. However, I show that this feature of Hegel’s account does not rely on the solution to a philosophical problem. Rather, since the concepts of modern ethical life are “essentially contested,” their content depends on the practical and political agreement of modern subjects. This means that concepts can only have objective authority if some prior intersubjective agreement has been reached. The role of philosophy as conceptual analysis is thus importantly dependent on political developments. (shrink)

It is commonly assumed that the expression “an sich selbst” (“in itself”) in Kant combines with terms to form complex nouns such as “thing in itself” and “end in itself.” I argue that the basic use of “an sich selbst” in Kant’s German is as a sentence adverb, which has the role of modifying subject-predicate combinations, rather than either subject or predicate on their own. Expressions of the form “S is P an sich selbst” mean roughly that S is P (...) ‘in its own right’ or without some further ‘condition’. Accordingly, “an sich selbst” should not be treated as forming complex nouns. This analysis has significant consequences for the interpretation of “thing in itself” in particular, for it implies that the latter is not a complete nominal expression. Instead, one must treat ‘an sich selbst’ as expressing how some S is a ‘thing’, looking to the wider sentential context. I conclude with a brief account of the new significance granted to the concept of a ‘thing’ (Ding) according to the present interpretation. (shrink)

ABSTRACTThe close connection often cited between Hegel and Wilfrid Sellars is not only said to lie in their common negative challenges to the ‘framework of givenness,’ but also in the positive less...

In this paper, I contest increasingly common "realist" interpretations of Hegel's theory of "the concept" (der Begriff), offering instead a "isomorphic" conception of the relation of concepts and the world. The isomorphism recommended, however, is metaphysically deflationary, for I show how Hegel's conception of conceptual form creates a conceptually internal standard for the adequacy of concepts. No "sideways-on" theory of the concept-world relationship is envisioned. This standard of conceptual adequacy is also "graduated" in that it allows for a lack of (...) fit between concept and world. The possibility for a "maximally isomorphic" fit between concept and world obtains through the teleological realization of concepts, which marks especially the "artificial" world of human culture (law, art, religion, etc.). Some of the most seemingly exaggerated claims Hegel makes about the concept, I contend, can be understood when we consider the significance Hegel ascribes to human making, which is provided for in his conceptual theory. But my framework provides an interpretive key for the way Hegel sees concepts imperfectly realized in the natural world as well. (shrink)

European Journal of Philosophy, Volume 29, Issue 4, Page 1026-1038, December 2021.

In the Transcendental Aesthetic (TA), Kant is typically held to make negative assertations about “things in themselves,” namely that they are not spatial or temporal. These negative assertions stand behind the “neglected alternative” problem for Kant’s transcendental idealism. According to this problem, Kant may be entitled to assert that spatio-temporality is a subjective element of our cognition, but he cannot rule out that it may also be a feature of the objective world. In this paper, I show in a new (...) way how Kant’s view (focusing on his conclusions about space) is not subject to this objection, by showing that he does not make the denial about mind-independent reality that he is typically held to make. The argument develops consequences of a new reading of Kant’s expression “an sich selbst” (‘in itself’; ‘in themselves’). I argue that “an sich selbst” or “per se” has a special, judgment-level role, so that this expression does not form new noun-terms adjectivally. It follows that the conceptual unit of Kant’s “Conclusions” in the TA is simply “things” (Dinge), since “things in themselves” is not a nominal expression; Kant adopts the Wolffian ontological use of “thing” as the basic kind-term for any existent. The arguments that things per se are not in space are arguments that space cannot be a necessary property or relations of things as a kind. I show that this does not involve the positive claim about mind-independent reality that inspires the neglected alternative objection. (shrink)

Kant’s formula of universal law (FUL) is standardly understood as a test of the moral permissibility of an agent’s maxim: maxims which pass the test are morally neutral, and so permissible, while those which do not are morally impermissible. In contrast, I argue that the FUL tests whether a maxim is the cause or determining ground of an action at all. According to Kant’s general account of causality, nothing can be a cause of some effect unless there is a law-like (...) relation between the putative cause and effect. Applied to the case of action, no maxim can be the cause of an agent’s action unless there is a law-like relation between maxims of that kind and actions of that kind. The special capacity to act according to maxims as law-like causes is what Kant calls a will; the basic constitutive principle of the will is a non-normative principle I call the categorical declarative. While the actions of a perfectly good will would be described by the categorical declarative alone, human action is determined not only by the causality of the will, but also by competing causes, namely those stemming from inclination. There is thus need for a causal test for putative maxims. The test contained in the FUL is meant to determine whether an action could be grounded solely on the agent’s maxim, or whether it requires a cause external to the will. This account permits one to build eventual distinctions concerning the morality of actions on prior and independent distinctions concerning their causality. (shrink)

Conservative ethical systems, particularly organized religions, are frequently at odds with the means, if not the goals of the new reproductive technologies. Among the most problematic measures adopted in recent years to allow childless women to raise genetically related offspring is surrogate motherhood. Traditional Jewish law, or Halakha, notwithstanding this reluctance, is, nevertheless, more likely than many others to find reasons to justify the practice, given its well-known stance viz procreation and its leniency regarding the new reproductive technologies. In the (...) following article, we ask whether Halakha, which allows abortion to save the life of a mother, would sanction the employment of a surrogacy arrangement in the case where pregnancy threats her life, in order to save the fetus as well. (shrink)

Hegel often says that his "logic" is meant to replace metaphysics. Since Hegel's Science of Logic is so different from a standard logic, most commentators have not treated the portion of that work devoted to logical forms as relevant to this claim. This paper argues that Hegel's discussion of logical forms of judgment and syllogism is meant to be the foundation of his reformation of metaphysics. Implicit in Hegel's discussion of the logical forms is the view that the metaphysical concepts (...) discussed in Books I and II of the Science of Logic supervene on the role of subject and predicate terms in the logical forms discussed in Book III. Hegel thus has an explanation for the nature and significance of metaphysical concepts that resembles Kant's "metaphysical deduction," according to which the categories can be derived from the table of judgments. Though Hegel's metaphysics is often supposed to be influenced by Kant, prevailing interpretations do not show how Hegel's fine-grained treatment of logical forms is relevant to his critical view of metaphysics. The present interpretation provides a model for Hegel's explanation of metaphysical concepts, as well as a new picture of the structure of his Science of Logic that emphasizes the priority of its Doctrine of the Concept. (shrink)

Traditionally, the ideas of “intuitive” and “discursive” forms of understanding have been seen as near opposites. Whereas an intuitive understanding could have a direct grasp of something, a discursive understanding would always depend on what is given to it, as mediated by concepts. In this essay, I suggest that Paul Ricoeur’s conception of analogy presents a way of overcoming this opposition. For Ricoeur, an analogy works within discursive understanding, but it depends on an eventful insight that leads beyond what is (...) merely given in discourse. The analogy “gives more” for thought. Yet, as I argue, what analogy gives for thought is always explicable in conceptual terms: any intuitive understanding is commensurate with a discursive one. I illustrate Ricoeur’s mediation of discursive and intuitive understanding in particular with his conception of metaphor, which vividly depends on overcoming a discursive contradiction by analogical and intuitive means. Before introducing Ricoeur’s conception, I discuss the Kantian background of the intuitive/discursive distinction. In particular, I suggest how Goethe’s attempt to revitalize a notion of intuitive understanding can be compared to Ricoeur’s conception, though Ricoeur improves upon Goethe by grounding intuition in the specific phenomenon of analogy. (shrink)

_ Source: _Volume 25, Issue 1, pp 59 - 71 American religious thinkers of the mid-twentieth century regularly included appreciative comments about Martin Buber’s thought in their books and essays, but they seldom stated specifically what they were drawing from Buber. Their comments did, however, tend to circle around a single issue: modern social, political, and technological changes were destabilizing both the sense of “the uniqueness of human selfhood” and the possibility of its distinctively “religious existence.” They sought a third (...) way through the modern cultural and religious problem of the self, and they took Martin Buber as their guide. (shrink)

W. Clark Gilpin - The Millenarian Turn: Millenarian Contexts of Science, Politics, and Everyday Anglo-American Life in the Seventeenth and Eighteenth Centuries. Vol. 3 of Millenarianism and Messianism in Early Modern European Culture - Journal of the History of Philosophy 40:4 Journal of the History of Philosophy 40.4 549-550 Book Review The Millenarian Turn: Millenarian Contexts of Science, Politics, and Everyday Anglo-American Life in the Seventeenth and Eighteenth Centuries James E. Force and Richard H. Popkin, editors. The Millenarian Turn: Millenarian (...) Contexts of Science, Politics, and Everyday Anglo-American Life in the Seventeenth and Eighteenth Centuries. Vol. 3 of Millenarianism and Messianism in Early Modern European Culture. Dordrecht: Kluwer Academic Publishers, 2001. Pp. xxv + 190. Cloth, $85.00. In the late 1960s and early 1970s, a significant body of scholars called attention to.. (shrink)

One of the most surprisingly prominent themes in Robert Brandom’s A Spirit of Trust is the role of genealogical explanations. Brandom sees genealogies or ‘debunking arguments’ as significant because of their ability to deprive our discursive acts of the normative status they require to be genuinely discursive or conceptual. His solution to the problem of genealogy is to offer rationalizing reconstructions of others’ discursive acts, which credit them with normative status. He calls this “forgiveness”. In this paper, I provide some (...) additional conceptual resources to explicate Brandom’s notions of genealogy and forgiveness. These resources allow me to discriminate between two alternate and seemingly incompatible ways of responding to genealogies. One way depends on rationalizing explanations that still attempt to attribute commitments to their subjects, the other avoids making such attributions in favor of explaining commitments only in terms of norms accepted by the rationalizer. I argue that Brandom’s work sometimes promotes the latter response to genealogy but that this tendency should be eliminated from the account. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 40.4 (2002) 549-550 [Access article in PDF] Book Review The Millenarian Turn: Millenarian Contexts of Science, Politics, and Everyday Anglo-American Life in the Seventeenth and Eighteenth Centuries James E. Force and Richard H. Popkin, editors. The Millenarian Turn: Millenarian Contexts of Science, Politics, and Everyday Anglo-American Life in the Seventeenth and Eighteenth Centuries. Vol. 3 of Millenarianism and Messianism in Early Modern European (...) Culture. Dordrecht: Kluwer Academic Publishers, 2001. Pp. xxv + 190. Cloth, $85.00. In the late 1960s and early 1970s, a significant body of scholars called attention to the idea of the millennium in English thought during the seventeenth century. These scholars argued that, especially during the epoch of the Civil Wars and Commonwealth, 1640 to 1660, religious speculation that history was moving toward its imminent consummation in a thousand-year reign of Christ exercised powerful influence on English politics and society, both in England itself and in colonial New England. To a lesser extent, scholars also noted the persistence of millennial anticipation after the Restoration, including speculation by mathematicians and scientists such as Isaac Newton.Richard H. Popkin, in addition to his well-known work on the history of skepticism, has played an important role in fostering and contributing to continued scholarship on millenarian and messianic ideas in the early modern era. In The Millenarian Turn: Millenarian Contexts of Science, Politics, and Everyday Anglo-American Life in the Seventeenth and Eighteenth Centuries, Popkin collaborates with James E. Force to publish eleven papers from a 1998 conference at the William Andrews Clark Memorial Library, UCLA. The book interprets the work of biblical exegetes, theologians, and scientists in the two centuries from 1600 to 1800 and places millenarian ideas in such varied contexts as Whig politics, the production of almanacs, Jewish-Christian relations, and early modern theories of geological history.The essays that comprise The Millenarian Turn are most successful when they reconstruct the millennial ideas of particular thinkers, relate these ideas to other aspects of a given individual's thought, and trace the revision of millennial ideas through successive generations. For example, Sarah Hutton of the University of Hertfordshire carefully describes the influential commentary on the Book of Revelation by the Cambridge biblical scholar Joseph Mede (1586-1638), in order to demonstrate the paradoxical point that Mede's theories were appropriated for dramatically different political and ecclesiastical purposes by Puritan radicals and by Church of England apologists. Margaret J. Osler of the University of Calgary shows that the physicist and chemist Robert Boyle (1627-1691) was not only preoccupied with questions about the extent and limitations of human knowledge, but also consistently extended these questions into his views on the afterlife, in which he identified heaven with enlarged capacities for knowing the beauty and harmony of the cosmos. And Reiner Smolinski of Georgia State University expertly traces the series of exegetical and theological shifts from early seventeenth-century millenarians to the New England minister Cotton Mather (1663-1728), who became "the first American to develop a fully coherent premillennialist system in the modern sense" organized around the idea that Christ's return at the beginning of the millennium would purify the world from "wickedness, death, and destruction" (166).As these three examples suggest, The Millenarian Turn makes an important contribution through the chronological span of its essays. Chapters usefully describe the principal millenarian exegetes of the early seventeenth century (Thomas Brightman, Joseph Mede, J. H. Alsted), but nine of the book's eleven chapters focus on the continued vitality of millenarian ideas after 1660. In this regard, the book stakes out an important agenda for future scholarship on the cultural history of millenarian and messianic beliefs and movements.At the same time, it must be said that Force, Popkin, and their colleagues could have done more to explore the cultural work done by millenarianism in the seventeenth and eighteenth centuries. Having provided extensive evidence of the... (shrink)

Language serves many purposes in our individual lives and our varied interpersonal interactions. Daniel Everett's claim that language primarily emerges from an “interactional instinct“ and not a classic “language instinct“ gives proper weight to the importance of coordinated communication in meeting our adaptive needs. Yet the argument that language is a “cultural tool“, motivated by an underlying “instinct“, does not adequately explain the complex, yet complementary nature of both linguistic regularities and variations in everyday speech. Our alternative suggestion is that (...) language use, and coordinated communication more generally, is an emergent product of human self-organization processes. Both broad regularities and specific variations in linguistic structure and behavior can be accounted for by self-organizational processes that operate without explicit internal rules, blueprints, or mental representations. A major implication of this view is that both linguistic patterns and behaviors, within and across speakers, emerge from the dynamical interactions of brain, body, and world, which gives rise to highly context-sensitive and varied linguistic performances. (shrink)

Language serves many purposes in our individual lives and our varied interpersonal interactions. Daniel Everett’s claim that language primarily emerges from an “interactional instinct” and not a classic “language instinct” gives proper weight to the importance of coordinated communication in meeting our adaptive needs. Yet the argument that language is a “cultural tool”, motivated by an underlying “instinct”, does not adequately explain the complex, yet complementary nature of both linguistic regularities and variations in everyday speech. Our alternative suggestion is that (...) language use, and coordinated communication more generally, is an emergent product of human self-organization processes. Both broad regularities and specific variations in linguistic structure and behavior can be accounted for by self-organizational processes that operate without explicit internal rules, blueprints, or mental representations. A major implication of this view is that both linguistic patterns and behaviors, within and across speakers, emerge from the dynamical interactions of brain, body, and world, which gives rise to highly context-sensitive and varied linguistic performances. (shrink)

This long-awaited new edition contains eight of the dialogues of Plato, and is the first in a new five-volume complete edition of his works in the OCT series.

Despite acknowledgment that performance failure among new salespeople is a prevalent issue for organizations, researchers do not fully understand the consequences of repetitive periods of failure on new salespeople’s unethical selling behaviors. Further, little is known about how a sales force’s reward structure and managerial attempts to intervene following failure affect new salespeople’s behavior. Combining an experiment with longitudinal growth models, we show that repetitive periods of failure increase unethical behaviors, and interventions intended to remind the salesperson to behave in (...) the customer’s best interests attenuate this effect under a non-contingent reward structure. However, counter to managerial assumptions, under a contingent reward structure these customer-oriented interventions actually backfire by amplifying the original relationship between repetitive failure and unethical behaviors. The results have potentially important managerial implications for those who manage new salespeople learning how to sell or during other failure-prone periods. (shrink)

Guilt and shame are self-conscious emotions with implications for mental health, social and occupational functioning, and the effectiveness of sports practice. To date, the assessment and role of athlete-specific guilt and shame has been under-researched. Reporting data from 174 junior elite cricketers, the present study utilized exploratory factor analysis in validating the Athletic Perceptions of Performance Scale, assessing three distinct and statistically reliable factors: athletic shame-proneness, guilt-proneness, and no-concern. Conditional process analysis indicated that APPS shame-proneness mediated the relationship between general (...) and athlete-specific distress. While APPS domains of guilt-proneness and no-concern were not significant mediators, they exhibited correlations in the expected direction with indices of psychological distress and well-being. The APPS may assist coaches and support staff identify players who may benefit from targeted interventions to reduce the likelihood of experiencing shame-prone states. (shrink)

In Freedom: An Impossible Reality, Ray Tallis argues that we escape imprisonment by causal determinism, and thus gain free will, by the virtual distance from natural laws afforded us by intentionality, a human capacity that he claims cannot be naturalized. I respond that we can’t know in advance that intentionality will never be subsumed by science, and that our capacities to entertain possibilities and decide among them are natural cognitive endowments that supervene on generally reliable neural processes. Moreover, any disconnection (...) from the multi-level determinants that account for human behavior cannot augment, but would likely undermine, effective human agency. Our full inclusion in nature, understood in terms of a pragmatic, explanatory determinism, is therefore not a prison from which we need to escape. (shrink)

The words quoted above distill the common secular conception of death. If we decline the traditional religious reassurances of an afterlife, or their fuzzy new age equivalents, and instead take the hard-boiled and thoroughly modern materialist view of death, then we likely end up with Gonzalez-Cruzzi. Rejecting visions of reunions with loved ones or of crossing over into the light, we anticipate the opposite: darkness, silence, an engulfing emptiness. But we would be wrong.

This chapter argues that the approach to punishment the U.S.—in particular, how it is determined what punishments are appropriate for which crimes—not only fails to achieve justice, but also drives much of the dysfunction in the U.S. criminal justice system. We then compare this system of punishment to the approach to trial and punishment used in ancient Athens and explain why this approach to punishment would lead to more trials and more just outcomes. The concern, however, is that using this—or (...) any—approach to punishment that leads to more trials seems as if it might cripple the U.S. justice system. We argue that this concern is unfounded and should not stand in the way of procedures that would likely produce more just results. (shrink)

Hume's sceptical arguments regarding induction have not yet been successfully answered. However, I shall not in this paper discuss the important attempts to answer Hume since that would be too lengthy a task. On the supposition that Hume's sceptical arguments have not been met, the empirical world is a place where, as the popular metaphor goes, all the glue has been removed. For the Humean sceptic, the only empirical knowledge that we can have is given to us in immediate perception. (...) We have no reason to believe that the patterns of future events will in any way resemble patterns of events in the present or past. We have no reason to believe even that present events not observed resemble present events that are observed, or that knowledge of past and present can be any guide in making new discoveries about what took place in the past. What we have is an ideal setting for the calculation of a priori probabilities. We have a field of distinct events having no logical or evidential ties to one another. The attempt to justify induction that I wish to present is an appeal to a priori probability. (shrink)

Optimization models have often been useful in attempting to understand the adaptive significance of behavioral traits. Originally such models were applied to isolated aspects of behavior, such as foraging, mating, or parental behavior. In reality, organisms live in complex, ever-changing environments, and are simultaneously concerned with many behavioral choices and their consequences. This target article describes a dynamic modeling technique that can be used to analyze behavior in a unified way. The technique has been widely used in behavioral studies of (...) insects, fish, birds, mammals, and other organisms. The models use biologically meaningful parameters and variables, and lead to testable predictions. Limitations arise because nature's complexity always exceeds our modeling capacity. (shrink)